"K. Futatsugi" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer

8.02 Mb

#2

CafeOBJ report: the language, proof techniques, and methodologies for object-oriented algebraic specification

RaМ†zvan Diaconescu; Kokichi Futatsugi

Категория: Cs_Computer science, CsF_Formal methods

1.06 Mb

#3

CAFE: An Industrial Strength Algebraic Formal Method

K. Futatsugi, A.T. Nakagawa, T. Tamai

Категория: Mathematical logic

1.91 Mb

#4

Algebra, meaning and computation. Essays dedicated to J.A. Goguen

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer

5.22 Mb

#5

Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer

6.57 Mb

#6

Object-Technologies for Advanced Software: Second JSSST International Symposium, ISOTAS '96, Kanazawa, Japan, March 11-15, 1996. Proceedings

Kokichi Futatsugi, Satoshi Matsuoka

3.55 Mb

#7

Software Security - Theories and Systems: Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003

Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki

6.72 Mb

#8

Software Security - Theories and Systems: Second Mext-WSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003

Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki

9.21 Mb